#ifndef LECTEURPHRASEAVECARBRE_H_
#define LECTEURPHRASEAVECARBRE_H_

#include "Symbole.h"
#include "LecteurSymbole.h"
#include "TableSymboles.h"
#include "Arbre.h"
#include <string>
#include <fstream>

using namespace std;

class LecteurPhraseAvecArbre
{
public:
    LecteurPhraseAvecArbre(string nomFich);  // Construit un lecteur de phrase pour interpreter
                                             // le programme dans le fichier nomFich

    void analyse();  // Si le contenu du fichier est conforme à la grammaire,
                     //   cette méthode se termine normalement et affiche un message "Syntaxe correcte".
                     //   la table des symboles (ts) et l'arbre abstrait (arbre) auront été construits
                     // Sinon, le programme sera interrompu (exit).

    inline TableSymboles getTs ()    { return ts;    } // accesseur	
    inline Noeud*        getArbre () { return arbre; } // accesseur
	

private:
    LecteurSymbole ls;      // le lecteur de symboles utilisé pour analyser le fichier
    TableSymboles  ts;      // la table des symboles valués
    Noeud*         arbre;   // l'arbre abstrait
    ofstream       fichier; // fichier où sera traduit le programme
    int*           tableau; // tableau ou seront stocké toutes les variables à déclarer          

    // implémentation de la grammaire
    Noeud*  programme();        // <programme> ::= debut <seqInst> fin FIN_FICHIER
    Noeud*  seqInst();          // <seqInst> ::= <inst> ; { <inst> ; } 
    Noeud*  inst();             // <inst> ::= <affectation> | <instSi> | <instTq> | <instRepeter> | <instLire> | <instEcrire>| <instPour> | <instSelon>
    Noeud*  affectation();      // <affectation> ::= <variable> = <expression>
    Noeud*  expression();       // <expression> ::= <terme> { <opAdd> <terme> }
    Noeud*  terme();            // <terme> ::= <facteur> {<opMult> <facteur>}
    Noeud*  facteur();          // <facteur> ::= <entier>  |  <variable>  |  - <facteur>  |  ( <expression> )


    Noeud* relation();		// <relation> ::= <expression> { <opRel> <expression> }
    Noeud* instLire();		// <instLire> ::= lire ( <variable> )
    Noeud* instEcrire();	// <instEcrire> ::= ecrire (<expression> | <chaine> )

    Noeud* expOu();		// <expOu> ::= <expEt> { <opOu> <expEt> }
    Noeud* expEt();		// <expEt> ::= <relation> { <opEt> <relation> }

    Noeud* instSi(); 		// <instSi> ::= si ( <expOu>) <seqInst> {sinonsi ( <expOu> ) <seqInst> } [sinon <seqInst> ] finsi
    Noeud* instTq(); 		// <instTq> ::= tantque ( <expOu> ) <seqInst> fintantque
    Noeud* instRepeter(); 	// <instRepeter> ::= repeter <seqInst> jusqua (<expOu>)

    Noeud* instPour();		// <instPour> ::= pour (<affectation> ( <expOu> ) <affectation>) <seqInst> finpour
    Noeud* instSelon();         // <instSelon> ::= selon (<variable>): cas (<entier>) <seqInst> {cas (<entier>) <seqInst>} finselon
        
    Symbole opAdd();            // <opAdd> ::= + | -
    Symbole opMult();           // <opMult> ::= * | /

    // outils pour se simplifier l'analyse syntaxique
    bool testerSymCour (string ch);  // si symbole courant != ch, erreur : on arrete le programme, sinon rien
    bool sauterSymCour (string ch);  // si symbole courant == ch, on passe au symbole suivant, sinon erreur : on arrete
    void erreur (string mess);       // affiche les message d'erreur mess et arrete le programme
};

#endif /* LECTEURPHRASEAVECARBRE_H_ */
